Efforts to ban Autonomous Weapon Systems were both unsuccessful and controversial. Simultaneously the need to address the detrimental aspects of AWS development and proliferation continues to grow in scope and urgency. The article presents several regulatory solutions capable of addressing the issue while simultaneously respecting the requirements of military necessity and so attracting a broad consensus. Two much stricter solutions – regional AWS bans and adoption of a no first use policy – are also presented as fallback strategies in case (...) achieving AWS’ compliance with the Laws of Armed Conflict proved elusive. Together, the solutions presented form an outline of a flexible regulatory strategy able to adjust to different technological outcomes and providing a sensible compromise to solve the current deadlock on the AWS issue. (shrink)

If a firm provides incentives by promoting those who have performed well in a job, it may transfer them to a job to which they are not well suited and agents are promoted to their levels of incompetence. Tournaments are an alternative to reputation as a means of ensuring that firms reward good performance when performance is unverifiable.

Reputation is often seen as central to the coordination of transactions in sharing economy platforms. Participants perform a double role regarding reputation management: while engaging in exchanges with other peers, they build their individual ‘reputation capital’ and simultaneously execute community oversight. In Couchsurfing (CS), a network often cited as paradigmatic of the sharing economy, there is, however, a clear bias for positive references. In the digital economy literature, participants’ friendly behaviour is understood as motivated by self-interest and an incentive to (...) maintain a positive reputation. Social research on reputation in CS attributes the bias to fear of retaliation, but also hints at norms of reciprocity leading travellers to require positive feedback for hospitality. This article analyses the lived experience of reputation management in CS and argues that participants seek to reconcile direct and general reciprocity. It proposes breaking these practices down into boundary-work and creative avoidance and argues these result in insufficient protection of inexperienced participants against problematic members. (shrink)

This study reconstructs the relationship between philosophy and politics in the way in which Heidegger's failure as a politician influenced the redevelopment of philosophy in the 1930s. The author also explains how Heidegger's failure influenced the content and direction of his later work.

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

Studies the politics of Heidegger in terms of "thrownness" or "existential contingency". Attempts to think through Heidegger's philosophy in a manner that parallels his own dialogue with other key western thinkers.

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Despite their differences in origin, the three influential schools of twentieth-century continental cultural criticism--the Frankfurt School, existentialism, and poststructuralism--have long been treated as an ensemble and with critical hesitancy. Examining these schools as responses to the apparent collapse of Western civilization in the twentieth-century and as formidable intellectual challenges to the cultural legacies of the Enlightenment, this book provides a productive base for criticism and broadens our understanding of their histories and reception.

The ethical Principle of Proportionality requires combatants not to cause collateral harm excessive in comparison to the anticipated military advantage of an attack. This principle is considered a major (and perhaps insurmountable) obstacle to ethical use of autonomous weapon systems (AWS). This article reviews three possible solutions to the problem of achieving Proportionality compliance in AWS. In doing so, I describe and discuss the three components Proportionality judgments, namely collateral damage estimation, assessment of anticipated military advantage, and judgment of “excessiveness”. (...) Some possible approaches to Proportionality compliance are then presented, such as restricting AWS operations to environments lacking civilian presence, using AWS in targeted strikes in which proportionality judgments are pre-made by human commanders, and a ‘price tag’ approach of pre-assigning acceptable collateral damage values to military hardware in conventional attritional warfare. The article argues that application of these three compliance methods would result in AWS’ achieving acceptable Proportionality compliance levels in many combat environments and scenarios, allowing AWS to perform most key tasks in conventional warfare. (shrink)

The Curry-Howard isomorphism is a proof-theoretic result that establishes a connection between derivations in natural deduction and terms in typed lambda calculus. It is an important proof-theoretic result, but also underlies the development of type systems for programming languages. This fact suggests a potential importance of the result for a philosophy of code.

This classic, provocative introduction to classical metaphysical questions focuses on appreciating the problems, rather than attempting to proffer answers.

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

In his recent JME article Daniel Restrepo argues that both legal and ethical rules should protect the so-called Naked Soldiers, combatants engaged in activity unrelated to military operations and unaware of the imminent danger threatening them. I criticize this position from several angles. I deny the existence of any link between vulnerability and innocence, and claim ignorance of deadly threats does not give rise to a morally distinguished type of vulnerability. I argue that actions not contributing to the war effort (...) are nevertheless an inherent part of fighting a war, and that combatants do not signal intention to abandon their commitment to the war effort by undertaking these. I show that by granting hors de combat status to Naked Soldiers, we would unjustly disadvantage their opponents and engender significant and manifold practical difficulties that the proponents of the view fail to solve or even anticipate. Finally, I demonstrate that Restrepo’s general project of “making killing in war difficult to legitimately justify” regardless of why, how and by whom the killing is done is incompatible with just war theory’s basic assumptions. That project is in fact pacifist in nature and as such redundant in light of pacifism’s broader and stronger implications. (shrink)

The Laws of Armed Conflict require that war crimes be attributed to individuals who can be held responsible and be punished. Yet assigning responsibility for the actions of Lethal Autonomous Weapon...

Having visited Ireland regularly during the 1930s, Ludwig Wittgenstein resigned his Cambridge philosophy professorship in 1947 and moved there, living in a fishing village on the Atlantic coast and hotels in Dublin and the Wicklow Mountains. Although Wittgenstein spent some time out of the country, Ireland was effectively his base for three very productive years during which he worked on what would become one of his key books, the posthumously published Philosophical Investigations. Wittgenstein in Ireland represents the first sustained account (...) of Wittgenstein's time in Ireland, placing it in its historical context. Wall pays a good deal of attention to the representation of the Irish landscape in which the Austrian philosopher found himself able to work; a large part of his writings were produced in the bleak landscapes of Ireland and Norway. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

Business and Society Review, Volume 127, Issue S1, Page 283-298, Spring 2022.

This book gives a descriptive analysis of specific Madhyamika texts. It compares the ideology of Kumarajiva (a translator of the four Madhyamika treatises 400 A.D.) with the ideologies of the three Chinese contemporaries - HuiYuan, Seng-Jui and Seng-Chao. It envisages an intercultural transmission of religious and philosophical ideas from India to China.

BackgroundLow-stakes crimes related to alcohol and/or drugs are common around the world, but research is lacking on police–suspect interactions of such crimes. A large proportion of these suspects are intoxicated during interrogations, and many may have substance use disorder, making them potentially vulnerable to interrogative pressure.MethodsTo address this lack of knowledge, the taxonomy of interrogation methods framework and a common classification of question types were applied in the coding of written police interrogations. Two archival studies, one pilot and one main (...) study analyzed police interrogations with suspects of alcohol- and drug-related crimes in Sweden.ResultsFor both Study 1 and 2, suspects showed signs of alcohol and/or drug intoxication, hangover or withdrawal in more than 50% of all interrogations. In Study 2, additional coding indicated that suspects displayed signs of substance use disorder in 57% of the interrogations. The main results from both studies revealed a large number of direct questions asked by the police across all interrogations, and relatively little use of the strategic interrogation techniques from the taxonomy of interrogation methods framework. In fact, when it came to interrogation techniques, law enforcement used more confrontational techniques in their interactions with intoxicated suspects compared to sober suspects. Furthermore, suspects displaying signs of substance use disorder were significantly more cooperative and prone to confess than suspects without indicators of substance use disorder.ConclusionAs the first novel study on low-stakes crime interrogations related to alcohol and/or drugs, the present study provides useful information about current Swedish interrogation practices and areas for improvement. The study results indicate that suspects displaying signs of intoxication or substance use disorder may be more vulnerable during police interrogations. This may in turn have the potential to inform the development of new interrogation policies. Due to the novelty of this research, more studies are needed, both on a national and international level, to examine interrogations in low-stakes crimes further. (shrink)

Written by a former student of Heidegger, this book examines the relationship between the philosophy and the politics of a celebrated teacher and the allure that Nazism held out for scholars committed to revolutionary nihilism.

Drawing on case studies from around the world - including Iran, Guatemala, USA and Mexico - this collection documents how transnational human rights discourses and legal institutions are materialised, imposed, resisted and transformed in a variety of contexts.

Early in the first volume of his Ideen zu einer reinen Phiinomeno logie und phiinomenologischen Philosophie, Edmund Husserl stated concisely the significance and scope of the problem with which this present study is concerned. When we reflect on how it is that consciousness, which is itself absolute in relation to the world, can yet take on the character of transcendence, how it can become mundanized, We see straightaway that it can do that only by means of a certain participation in (...) transcendence in the first, originary sense, which is manifestly the transcendence of material Nature. Only by means of the experiential relation to the animate organism does consciousness become really human and animal (tierischen), and only thereby does it achieve a place in the space and in the time of Nature. l Consciousness can become "worldly" only by being embodied within the world as part of it. In so far as the world is material Nature, consciousness must partake of the transcendence of material Nature. That is to say, its transcendence is manifestly an embodiment in a material, corporeal body. Consciousness, thus, takes on the characteristic of being "here and now" (ecceity) by means of experiential (or, more accurately, its intentive) relation to that corporeal being which embodies it. Accordingly, that there is a world for consciousness is a conse quence in the first instance of its embodiment by 2 that corporeal body which is for it its own animate organism. (shrink)

The Intergovernmental Panel on Climate Change has developed a novel framework for assessing and communicating uncertainty in the findings published in their periodic assessment reports. But how should these uncertainty assessments inform decisions? We take a formal decision-making perspective to investigate how scientific input formulated in the IPCC’s novel framework might inform decisions in a principled way through a normative decision model.

Part I The Imperative Mood 'Virtue, then, is a disposition governing our choices '. ARISTOTLE, Eth. Nic. 36 Prescriptive Language. ...

The standard adaptationist explanation of the presence of a sensory mechanism in an organism—that it detects properties useful to the organism—cannot be given for color vision. This is because colors do not exist. After arguing for this latter claim, I consider, but reject, nonadaptationist explanations. I conclude by proposing an explanation of how color vision could have adaptive value even though it does not detect properties in the environment.

Should particularists about ethics claim that moral principles are never true? Or should they rather claim that any finite set of principles will not be sufficient to capture ethics? This paper explores and defends the possibility of embracing the second of these claims whilst rejecting the first, a position termed 'principled particularism'. The main argument that particularists present for their position-the argument that holds that any moral conclusion can be superseded by further considerations-is quite compatible with principled particularism; indeed, it (...) is compatible with the idea that every true moral conclusion can be shown to follow deductively from a finite set of premises. Whilst it is true that these premises must contain implicit ceteris paribus clauses, this does not render the arguments trivial. On the contrary, they can do important work in justifying moral conclusions. Finally the approach is briefly applied to the related field of jurisprudence. (shrink)

Just War Theory debates discussing the principle of the Moral Equality of Combatants involve the notion of Invincible Ignorance; the claim that warfi ghters are morally excused for participating in an unjust war because of their epistemic limitations. Conditions of military deployment may indeed lead to genuinely insurmountable epistemic limitations. In other cases, these may be overcome. This paper provides a preliminary sketch of heuristics designed to allow a combatant to judge whether or not his war is just. It delineates (...) the sets of relevant facts uncontroversially accessible and inaccessible to contemporary professional soldiers. Relevant facts outside these two sets should by default be treated as inaccessible until proven otherwise. Even such a rudimentary heuristic created in this way demonstrates that practical recommendations of MEC-renouncing Just War Theory are not too challenging to follow and still signifi cantly impact a compliant combatant’s behavior. (shrink)

This book is the complete story of the creation of the universe, as it was understood by the ancient Egyptians. It is a collection of harmonic and radical 'Black Thoughts' and the pursuit of equality for all of this planet's inhabitants"--P. vii.

In this study, Worsley argues that it is rational to believe in a loving God in the face of evil. Beginning with a critique of Alvin Plantinga, he shows that human freedom is highly complex, and so depends upon complex structures in nature. These are both necessary for freedom but also sufficient for natural evil. He offers close analysis of the evolution of the human brain. The book develops a parallel argument that human evil stems from the evolution of personality.